哈尔滨工业大学朱晓蕊等：针对无人机系统安全的新型层级式软件架构
中文摘要：
提出一种覆盖底层源代码到上层用户任务代码的新型层级式软件架构，用于提高无人机系统安全性与可靠性。每个软件模块采用形式化验证方法，验证其源代码是否符合设计规范，软件模块基于经过形式化验证的操作系统内核（certified kit operating system，CertiKOS），防止无人机由于意外软件故障而坠毁。考虑到无人机的机载传感器会对系统可靠性产生显著影响，对驱动传感器SPI总线与I2C总线形式化验证，并针对总线异常情况设计完成相关实验。实验结果表明，该软件架构能够有效提高无人机系统安全性与可靠性。
关键词：
行走环境；步态周期；表面肌电信号；外骨骼
作者：
朱晓蕊，梁辰，殷振国，邵中，刘孟启，陈昊
单位： 哈尔滨工业大学（深圳）机电工程与自动化学院，中国深圳市，518055；耶鲁大学计算机系，美国纽黑文市，06520 本文引用格式： https://doi.org/10.1631/FITEE.1800636 |
全文下载地址：
http://www.jzus.zju.edu.cn/oldversion/opentxt.php?doi=10.1631/FITEE.1800636
关于本刊
Frontiers of Information Technology &Electronic Engineering（简称FITEE，中文名《信息与电子工程前沿（英文）》，ISSN2095-9184，CN 33-1389/TP）是信息电子类综合性英文学术月刊，SCI-E、EI收录，最新影响因子0.910。前身为2010年创办的《浙江大学学报英文版C辑：计算机与电子》，2015年更为现名，现为中国工程院信息与电子工程学部唯一院刊。覆盖计算机、信息与通信、控制、电子、光学等领域。文章类型包括研究论文、综述、个人视点、评述等。现任主编为中国工程院院士潘云鹤、卢锡城，实行国际同行评审制，初次转达意见一般在2~3个月内。文章一经录用将快速在线。
FITEE官网：http://www.jzus.zju.edu.cn
期刊Springer主页：
http://www.springer.com/computer/journal/11714
在线投稿地址：
http://www.editorialmanager.com/zusc
微信加群
为方便广大科研人员交流讨论，本平台建有以下学科微信群。有需要加群的用户，请加小编个人微信号fitee_xb，并留言想要加入的群，小编会拉您进群。营销广告人员请勿扰。
计算机科学与技术学术群 | 光学工程与技术学术群 |
控制科学与技术学术群 | 信息与通信学术群 |
电力电子学术群 | 人工智能学术 |
本公众号为中国工程院院刊《信息与电子工程前沿（英文）》（SCI-E、EI检索期刊）官方微信，功能包括：传播期刊的学术文章；为刊物关联学人（读者、作者、评审人、编委，等）提供便捷服务；发布学术写作、评审、编辑、出版等相关资讯；介绍信息与电子工程领域学术人物、学术思想、学术成果，展示该领域科学研究前沿进展；为该领域海内外学者提供友好互动平台。